Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
151	Microsoft Word - Westnew.doc Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2014-08-08 12:45:15 Ontology Knowledge representation Semantic Web Information science Technical communication Knowledge Information Formal ontology Web Ontology Language ISO 15926 Upper ontology Web resource
152	process calculi “process calculus” means two things: Process Calculi for web services Add to Reading List Source URL: www.wischik.com Language: English - Date: 2003-03-13 09:50:06 Process calculi Theoretical computer science Computing Software Formal methods Process calculus -calculus Bisimulation Join-calculus Reconfigurability Microsoft BizTalk Server Tea
153	UNCLASSIFIED Grammatical Inference and Machine Learning Approaches to Post-Hoc LangSec Sheridan Curley and & Dr. Richard Harang (ARL) Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-06 10:35:22 Formal languages Philosophy Cognitive science Grammar Linguistics Natural language processing Syntax Compiler construction Grammar induction Chomsky hierarchy Formal grammar Noam Chomsky
154	The engineering of generic requirements for failure management Colin Snook1, Michael Poppleton1, and Ian Johnson2 1 School of Electronics and Computer Science, Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 10:53:25 Software engineering Unified Modeling Language Computing Modeling language Class diagram Object Process Methodology Abstract state machines Specification Profile Requirement Formal methods Executable UML
155	What can a philosopher and logician do for your enterprise? v. 3, A series of un-ordered top ten lists with brief, non-exhaustive annotations to answer the question above follows. Top ten skills concerning philosophy in Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2006-11-11 18:49:37 Logic Philosophy Science Formal sciences Belief Thought Computability theory Theoretical computer science Mathematical logic Argument ChurchTuring thesis Computation
156	Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-10-28 09:30:27 Theoretical computer science Logic Mathematical logic Formal methods Logic in computer science Boolean algebra Hardware verification languages Model checking Temporal logic Formal verification Propositional calculus E
157	TEM Journal–240 Pattern Recognition and Natural Language Processing: State of the Art Mirjana Kocaleva 1,2, Done Stojanov 2, Igor Stojanovik 2, Zoran Zdravev 2 1 Add to Reading List Source URL: www.temjournal.com Language: English - Date: 2016-05-22 13:04:30 Computational linguistics Formal sciences Artificial intelligence Natural language processing Science Linguistics Cybernetics Computational neuroscience Natural language understanding Speech recognition Machine translation Machine learning
158	Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 02:14:08 Theoretical computer science Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Solver Formal equivalence checking Formal verification Model checking Uclid
159	A Pre-Programming Introduction to Algorithmics Judith Gal-Ezer1 The Open University of Israel, Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:20:03 Software engineering Computer programming Algorithms Software development Mathematical logic Theoretical computer science Formal methods Pseudocode Programming language Refinement Outline of computer programming Edsger W. Dijkstra
160	Jasmin Christian Blanchette AugustPersonal Information Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-08-14 09:31:55 Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Formal methods Proof assistants Isabelle Automated reasoning Interactive Theorem Proving International Joint Conference on Automated Reasoning Association for Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

UPDATE